void init_clock(u32int frequency);
char bcd(char v);
void printNow();
void update_msclock();

int millisecond_clock = 0;
